Train protection systems - PDFSEARCH.IO - Document Search Engine

Train protection systems
Results: 404

#	Item
81	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: www.symbolaris.com Language: English - Date: 2014-08-04 10:09:36 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
82	Logical Verification and Systematic Parametric Analysis in Train Control? Andr´e Platzer and Jan-David Quesel University of Oldenburg, Department of Computing Science, Germany {platzer\|quesel}@informatik.uni-oldenburg.d Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:19 Rail transport European Rail Traffic Management System European Train Control System Theoretical computer science Railway signalling Model checking KeY First-order logic Correctness Transport Train protection systems Land transport
83	European Train Control System: A Case Study in Formal Verification? Andr´e Platzer1 and Jan-David Quesel2 1 Computer Science Department, Carnegie Mellon University, Pittsburgh, PA Add to Reading List Source URL: symbolaris.com Language: English - Date: 2013-11-27 20:01:46 European Rail Traffic Management System Rail transport European Train Control System Control theory High-speed rail Automatic Train Protection Train protection systems Land transport Transport
84	Logical Verification and Systematic Parametric Analysis in Train Control Andr´ e Platzer and Jan-David Quesel University of Oldenburg Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:07:18 Train protection systems European Rail Traffic Management System European Train Control System Symbol Transport Land transport Rail transport
85	15th ICTCT workshop different aspects of speed management SPEED MANAGEMENT IN RAIL TRAFFIC Kirsi Pajunen¹, Kari Alppivuori² Add to Reading List Source URL: www.ictct.org Language: English - Date: 2014-12-22 09:45:01 Train protection systems Railway signalling Safety High-speed rail New Urbanism Automatic Train Protection Level crossing Balise Train Transport Land transport Rail transport
86	Congress Day One: Tuesday 19th May[removed]:00 Morning coffee and registration 09:00 Add to Reading List Source URL: cdn2.hubspot.net Language: English - Date: 2015-02-09 07:15:23 European Rail Traffic Management System Railway signalling Rail transport in Europe Train protection systems International Union of Railways European Train Control System Network Rail Transport Land transport Rail transport
87	ODAM Proceedings Vol 1+2 NEW.pdf Add to Reading List Source URL: proceedings.dtu.dk Language: English - Date: 2015-02-14 06:32:24 Train protection systems Alarms Systems psychology Alarm devices Emergency brake Ergonomics Automatic Train Protection Fail-safe Human factors Safety Security Prevention
88	Microsoft PowerPoint - ERTMS Presentation_Workshop v1.0.ptx.pptx Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2015-01-23 04:42:47 Railway signalling European Rail Traffic Management System International Union of Railways Rail transport in Europe PricewaterhouseCoopers Train protection systems Transport Land transport Rail transport
89	Systems Requirements Database Add to Reading List Source URL: www.tillier.net Language: English - Date: 2010-08-28 23:28:37 Train protection systems Derailment Automatic Train Control High-speed rail Emergency brake Train Communications-based train control Transport Land transport Rail transport
90	Investing in India Bombardier Transportation in India Committed to India – Add to Reading List Source URL: www.bombardier.com Language: English - Date: 2014-12-17 02:33:07 Train protection systems Railway signalling Bombardier Transportation TRAXX Communications-based train control Bombardier Inc. Movia Iore Diesel multiple unit Land transport Transport Rail transport

UPDATE